Linkk Oping Electronic Articles in Introduction to the Fluent Calculus
نویسندگان
چکیده
منابع مشابه
Linkk Oping Electronic Articles in the Event Calculus in Classical Logic { Alternative Axiomatisations Linkk Oping Electronic Articles in Computer and Information Science
We present several alternative classical logic axiomatisations of the Event Calculus, a narrative based formalism for reasoning about actions and change. We indicate the range of applicability and key characteristics of each alternative formulation. 1
متن کاملLinkk Oping Electronic Articles in Action Languages Linkk Oping Electronic Articles in Computer and Information Science
Action languages are formal models of parts of the natural lan guage that are used for talking about the e ects of actions This article is a collection of de nitions related to action languages that may be useful as a reference in future publications
متن کاملLinkk Oping Electronic Articles in Reasoning about Actions, Narratives and Ramiications Linkk Oping Electronic Articles in Computer and Information Science
The Language E is a simple declarative language for describing the e ects of action occurrences within a given narrative, using an ontology of actions, time points and uents (i.e. properties which can change their truth values over time). This paper shows how E may be extended to deal with rami cations. More precisely, we show how Language E domain descriptions can include statements describing...
متن کاملLinkk Oping Electronic Articles in 1st Order Logic Formal Concept Analysis: from Logic Programming to Theory Linkk Oping Electronic Articles in Computer and Information Science
In this paper we analyze and de ne the introduction of st or der logic in Formal Concept Analysis FCA the aims are both theoretical as a complete model is needed and applied so as to improve expression power of FCA as a knowledge mining tool and the relevance of its results Our contribution consists in i the implementation of clas sical FCA in logic programming and the analysis of real cases ii...
متن کاملLinkk Oping Electronic Articles in the Complexity of Model Checking in Modal Event Calculi with Quantiiers Linkk Oping Electronic Articles in Computer and Information Science
Kowalski and Sergot s Event Calculus EC is a simple tempo ral formalism that given a set of event occurrences derives the maximal validity intervals MVIs over which properties initi ated or terminated by these events hold It does so in polyno mial time with respect to the number of events Extensions of its query language with Boolean connectives and operators from modal logic have been shown to...
متن کامل